Dagstuhl-Workshop MBEES:

modellbasierte automobile Steuergeräteentwicklun

2.1 Entwicklungssysteme für Benutzungsschnittstellen............................................................ 26

vorgelegt

Comparing Heuristics for Model Based Testsuite Generation

Michael von der Beek............................................................................................ 1 Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze Mirko Conrad, Heiko Dörr....................................................................................